constructive ordinal

建构序数